Browsing by Subject "Privacy policies"

Now showing items 1-3 of 3

    • Conference Object  

      A semantic framework for privacy-aware access control 

      Lioudakis, Georgios V.; Delias, Nikolaos L.; Koutsoloukas, Eleftherios A.; Kapitsaki, Georgia M.; Kaklamani, Dimitra I.; Venieris, Iakovos St (2008)
      The issue of privacy is constantly brought to the spotlight since an ever increasing number of services collects and processes personal information from users. In fact, recent advances in mobile communications, location ...
    • Article  

      Type checking privacy policies in the π-calculus 

      Kouzapas, D.; Philippou, Anna (2015)
      In this paper we propose a formal framework for studying privacy. Our framework is based on the π -calculus with groups accompanied by a type system for capturing privacy requirements relating to information collection, ...
    • Article  

      Type checking purpose-based privacy policies in the π-calculus 

      Kokkinofta, E.; Philippou, Anna (2016)
      In this paper we propose a formal framework for studying privacy preserving policies based on the notion of purpose. Our framework employs the π-calculus with groups accompanied by a type system for capturing privacy ...